3398e46f09c5ab9cbbea474410759b68f608382e,test/heros/alias/FieldSensitiveIFDSSolverTest.java,FieldSensitiveIFDSSolverTest,hold,#,98
Before Change
helper.method("bar",
startPoints("a"),
normalStmt("a").succ("b", flow("0", "1")),
normalStmt("b").succ("c", flow("1", readField("field"), "2.field")),
callSite("c").calls("foo", flow("2.field", "3.field")));
helper.method("foo",
After Change
helper.method("bar",
startPoints("a"),
normalStmt("a", flow("0", "1")).succ("b"),
normalStmt("b", flow("1", prependField("field"), "2")).succ("c"),
callSite("c").calls("foo", flow("2", "3")));
helper.method("foo",